Groves, Lindsay: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Demystifying governance and its role for transitions in urban social-ecological systems

Muñoz-Erickson, Tischa A., Campbell, Lindsay K., Childers, Daniel L., Grove, J. Morgan, Iwaniec, David M., Pickett, Steward T. A., Romolini, Michele, Svendsen, Erika S.

Journal:

Year:

2016

Language:

english

File:

PDF, 1.42 MB

english, 2016

2

Trace-based Derivation of a Lock-Free Queue Algorithm

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 457 KB

english, 2008

3

[ACM Press the 15th Workshop - Montpellier, France (2013.07.01-2013.07.01)] Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP '13 - True small-step reduction for imperative object oriented languages

Servetto, Marco, Groves, Lindsay

Year:

2013

Language:

english

File:

PDF, 298 KB

english, 2013

4

Cleaning and sanitation of Salmonella-contaminated peanut butter processing equipment

Grasso, Elizabeth M., Grove, Stephen F., Halik, Lindsay A., Arritt, Fletcher, Keller, Susanne E.

Journal:

Food Microbiology

Year:

2015

Language:

english

File:

PDF, 1.39 MB

english, 2015

5

Percutaneous radiologic gastrostomy versus percutaneous endoscopic gastrostomy: A comparison of indications, complications and outcomes in 370 patients

Anne M. Silas, Lindsay F. Pearce, Lisa S. Lestina, Margaret R. Grove, Anna Tosteson, Wendy D. Manganiello, Michael A. Bettmann, Stuart R. Gordon

Journal:

European Journal of Radiology

Year:

2005

Language:

english

File:

PDF, 85 KB

english, 2005

6

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 8144 || Algebraic Laws for Process Subtyping

Groves, Lindsay, Sun, Jing

Year:

2013

Language:

english

File:

PDF, 278 KB

english, 2013

7

Book reviews

Bagnall, Nigel, Herman, Michael, Rose, Live, Tremayne, Penelope, Grove, Eric, Till, Geoffrey, Bridges, Brian, Bryson, Lindsay, Hall, Donald, Ramsbotham, David, Oswald, Julian, Gough, Barry, Collins, B

Journal:

The RUSI Journal

Year:

1990

Language:

english

File:

PDF, 1.13 MB

english, 1990

8

[IEEE 2017 IEEE 42nd Conference on Local Computer Networks (LCN) - Singapore (2017.10.9-2017.10.12)] 2017 IEEE 42nd Conference on Local Computer Networks (LCN) - Deterministic Confidence Interval Estimation of Networking Traffic in SDN

Yang, Liang, Ng, Bryan, Seah, Winston K.G., Groves, Lindsay

Year:

2017

Language:

english

File:

PDF, 609 KB

english, 2017

9

Towards Formally Specifying and Verifying Transactional Memory

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

10

Refinement and the Z Schema Calculus

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

albanian

File:

PDF, 1.11 MB

albanian, 2002

11

Correction: Characterisation of morphological differences in well-differentiated nasal epithelial cell cultures from preterm and term infants at birth and one-year

Groves, Helen E., Guo-Parke, Hong, Broadbent, Lindsay, Shields, Michael D., Power, Ultan F.

Journal:

Year:

2019

File:

PDF, 175 KB

2019

12

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Towards Automating Class-Splitting Using Betweenness Clustering

Cassell, Keith, Andreae, Peter, Groves, Lindsay, Noble, James

Year:

2009

Language:

english

File:

PDF, 679 KB

english, 2009

13

Book review: SOFTWARE PROTYPING, FORMAL METHODS AND VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988)

Groves, Lindsay

Journal:

ACM SIGCHI Bulletin

Year:

1990

Language:

english

File:

PDF, 375 KB

english, 1990

14

Methylome-wide association study of central adiposity implicates genes involved in immune and endocrine systems

Justice, Anne E, Chittoor, Geetha, Gondalia, Rahul, Melton, Phillip E, Lim, Elise, Grove, Megan L, Whitsel, Eric A, Liu, Ching-Ti, Cupples, L Adrienne, Fernandez-Rhodes, Lindsay, Guan, Weihua, Bressle

Journal:

Year:

2020

File:

PDF, 2.14 MB

2020

15

[ACM Press the 14th Workshop - Beijing, China (2012.06.12-2012.06.12)] Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs - FTfJP '12 - Encoding Featherweight Java with assignment and immutability using the Coq proof assistant

Mackay, Julian, Mehnert, Hannes, Potanin, Alex, Groves, Lindsay, Cameron, Nicholas

Year:

2012

Language:

english

File:

PDF, 817 KB

english, 2012

16

Reducing the Impacts of Mental Health Stigma Through Integrated Primary Care: An Examination of the Evidence

Rowan, Anderson B., Grove, Jessica, Solfelt, Lindsay, Magnante, Anna

Journal:

Journal of Clinical Psychology in Medical Settings

Year:

2020

File:

PDF, 692 KB

2020

17

Towards formally specifying and verifying transactional memory

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

18

Initial Experience with a Karl Stortz Hysteroscopic Morcellator in an Outpatient Department under Local Anaesthetic: Focusing on Training Needs, Patient Experience, Feasibility and Acceptability

Penketh, R., Griffiths, A., Lindsay, P., Patwardhan, A., Neelankavi, J., Groves, L., Hill, S., Bruen, E.

Journal:

Journal of Minimally Invasive Gynecology

Year:

2013

Language:

english

File:

PDF, 45 KB

english, 2013

19

Development of an Integrated Outpatient (Office) Procedure Suite – An Evaluation of Acceptability to Patients; Staff and Utilisation of Resources

Bruen, E., Groves, L., Hill, S., Griffiths, A., Lindsay, P., Patwardhan, A., Neelankavil, J., Penketh, R.

Journal:

Journal of Minimally Invasive Gynecology

Year:

2013

Language:

english

File:

PDF, 41 KB

english, 2013

20

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Reasoning about Nonblocking Concurrency using Reduction

Groves, Lindsay

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

21

Preliminary Experience of the Innovative Micro Endometrial Ablation Technique (Minitouch) in the Outpatient Department (Office) with or without Local Anaesthetic

Patwardhan, A., Penketh, R., Lindsay, P., Neelankavil, J., Groves, L., Hill, S., Bruen, E., Griffiths, A.

Journal:

Journal of Minimally Invasive Gynecology

Year:

2013

Language:

english

File:

PDF, 45 KB

english, 2013

22

Theorem prover approach to semistructured data design

Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 2.85 MB

english, 2010

23

Verifying Concurrent Data Structures by Simulation

Robert Colvin, Simon Doherty, Lindsay Groves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

24

Science and the Nation.

Bruen, E., Groves, L., Hill, S., Griffiths, A., Lindsay, P., Patwardhan, A., Neelankavil, J., Penketh, R.

Journal:

Year:

1917

Language:

english

File:

PDF, 353 KB

english, 1917

25

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Verifying Semistructured Data Normalization Using PVS

Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

26

[ACM Press the sixteenth annual ACM symposium - Barcelona, Spain (2004.06.27-2004.06.30)] Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures - SPAA '04 - DCAS is not a silver bullet for nonblocking algorithm design

Doherty, Simon, Detlefs, David L., Grove, Lindsay, Flood, Christine H., Luchangco, Victor, Martin, Paul A., Moir, Mark, Shavit, Nir, Steele, Guy L.

Year:

2004

Language:

english

File:

PDF, 148 KB

english, 2004

27

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 8144 || Formal Modelling of Resilient Data Storage in Cloud

Groves, Lindsay, Sun, Jing

Year:

2013

Language:

english

File:

PDF, 434 KB

english, 2013

28

Preface

Bernhard Aichernig, Eerke Boiten, John Derrick, Lindsay Groves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 73 KB

english, 2007

29

Mind the Gap: Hospitalizations from Multiple Sources in a Longitudinal Study

Savitz, Samuel T., Stearns, Sally C., Groves, Jennifer S., Kucharska-Newton, Anna M., Bengtson, Lindsay G.S., Wruck, Lisa

Journal:

Value in Health

Year:

2016

Language:

english

File:

PDF, 950 KB

english, 2016

30

CAPILLARY FUNCTION IN THE DEVELOPMENT OF INSULIN RESISTANCE: THE POTENTIAL ROLE OF EICOSANOIDS

Chadderdon, Scott M., Belcik, Todd, Bader, Lindsay, Kievit, Paul, Grove, Kevin, Lindner, Jonathan

Journal:

Journal of the American College of Cardiology

Year:

2013

Language:

english

File:

PDF, 148 KB

english, 2013

31

[IEEE 2008 19th Australian Conference on Software Engineering ASWEC - Perth, Australia (2008.03.26-2008.03.28)] 19th Australian Conference on Software Engineering (aswec 2008) - Correctness Criteria for Normalization of Semistructured Data

Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay, Li, Yuan Fang

Year:

2008

Language:

english

File:

PDF, 357 KB

english, 2008

32

Continental-scale homogenization of residential lawn plant communities

Wheeler, Megan M., Neill, Christopher, Groffman, Peter M., Avolio, Meghan, Bettez, Neil, Cavender-Bares, Jeannine, Roy Chowdhury, Rinku, Darling, Lindsay, Grove, J. Morgan, Hall, Sharon J., Heffernan,

Journal:

Landscape and Urban Planning

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

33

Respiratory syncytial virus, an ongoing medical dilemma: an expert commentary on respiratory syncytial virus prophylactic and therapeutic pharmaceuticals currently in clinical trials

Broadbent, Lindsay, Groves, Helen, Shields, Michael D., Power, Ultan F.

Journal:

Influenza and Other Respiratory Viruses

Year:

2015

Language:

english

File:

PDF, 119 KB

english, 2015

34

Effect of Short-term Integrated Palliative Care on Patient-Reported Outcomes Among Patients Severely Affected With Long-term Neurological Conditions

Gao, Wei, Wilson, Rebecca, Hepgul, Nilay, Yi, Deokhee, Evans, Catherine, Bajwah, Sabrina, Crosby, Vincent, Wilcock, Andrew, Lindsay, Fiona, Byrne, Anthony, Young, Carolyn, Groves, Karen, Smith, Clare,

Journal:

JAMA Network Open

Year:

2020

File:

PDF, 929 KB

2020

35

[IEEE 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) - Lisbon, Portugal (2017.5.8-2017.5.12)] 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) - Equivalent forwarding set evaluation in software defined networking

Yang, Liang, Ng, Bryan, Seah, Winston K.G., Groves, Lindsay

Year:

2017

Language:

english

File:

PDF, 3.07 MB

english, 2017

36

Outpatient Resection of Fibroid: A Patient's View

Penketh, R., Bruen, E., Groves, L., Hill, S., Patwardhen, A., Lindsay, P., Griffiths, A.

Journal:

Journal of Minimally Invasive Gynecology

Year:

2013

Language:

english

File:

PDF, 39 KB

english, 2013

37

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - A Scalable Lock-Free Stack Algorithm and its Verification

Colvin, Robert, Groves, Lindsay

Year:

2007

Language:

english

File:

PDF, 358 KB

english, 2007

38

Trace-based derivation of a scalable lock-free stack algorithm

Lindsay Groves, Robert Colvin

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 2.19 MB

english, 2009

39

Special Issue: Nonresponse Bias in Household Surveys || Experiments in Producing Nonresponse Bias

Robert M. Groves, Mick P. Couper, Stanley Presser, Eleanor Singer, Roger Tourangeau, Giorgina Piani Acosta and Lindsay Nelson

Journal:

Public Opinion Quarterly

Year:

2006

Language:

english

File:

PDF, 842 KB

english, 2006

40

Integrating palliative care into neurology services: what do the professionals say?

Hepgul, Nilay, Gao, Wei, Evans, Catherine J, Jackson, Diana, van Vliet, Liesbeth M, Byrne, Anthony, Crosby, Vincent, Groves, Karen E, Lindsay, Fiona, Higginson, Irene J

Journal:

BMJ Supportive & Palliative Care

Year:

2018

Language:

english

File:

PDF, 237 KB

english, 2018

41

Derivation of a Scalable Lock-Free Stack Algorithm

Lindsay Groves, Robert Colvin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

42

Homogenization of plant diversity, composition, and structure in North American urban yards

Pearse, William D., Cavender-Bares, Jeannine, Hobbie, Sarah E., Avolio, Meghan L., Bettez, Neil, Roy Chowdhury, Rinku, Darling, Lindsay E., Groffman, Peter M., Grove, J. Morgan, Hall, Sharon J., Heffe

Journal:

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

43

Characterisation of morphological differences in well-differentiated nasal epithelial cell cultures from preterm and term infants at birth and one-year

Groves, Helen E., Guo-Parke, Hong, Broadbent, Lindsay, Shields, Michael D., Power, Ultan F., Ahmad, Shama

Journal:

Year:

2018

Language:

english

File:

PDF, 1.64 MB

english, 2018

44

Using simple English sentences to call procedures

Groves, Lindsay J.

Journal:

ACM SIGPLAN Notices

Year:

1982

Language:

english

File:

PDF, 422 KB

english, 1982

45

Designing a verifying compiler: Lessons learned from developing Whiley

Pearce, David J., Groves, Lindsay

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.53 MB

english, 2015

46

Notes

Hull, R., Campbell, Neil, Stafford, W. H., Wilshire, J. F. K., Briggs, Lindsay H., Nicholls, G. A., Johnson, A. W., Sheppard, N., Todd, A. R., Ratcliffe, J., Bryce-Smith, D., Howlett, K. E., Groves, L

Journal:

Journal of Chemical Sciences (Bangalore)

Year:

1951

Language:

english

File:

PDF, 1002 KB

english, 1951

47

Effect of Growth on the Thermal Resistance and Survival of Salmonella Tennessee and Oranienburg in Peanut Butter, Measured by a New Thin-Layer Thermal Death Time Device

Keller, Susanne E., Grasso, Elizabeth M., Halik, Lindsay A., Fleischman, Gregory J., Chirtel, Stuart J., Grove, Stephen F.

Journal:

Journal of Food Protection

Year:

2012

Language:

english

File:

PDF, 3.75 MB

english, 2012

48

Prognosis of in utero congenital complete heart block

Rosenthal, Eric, Groves, Alison, Allan, Lindsay D., Qureshi, Shakeel A., Baker, Edward J., Tynan, Michael, Sharland, Gurleen K.

Journal:

Journal of the American College of Cardiology

Year:

1996

Language:

english

File:

PDF, 141 KB

english, 1996

49

Temporal Changes in Skeletal Muscle Capillary Responses and Endothelial-Derived Vasodilators in Obesity Related Insulin Resistance

Chadderdon, Scott M., Belcik, J. Todd, Bader, Lindsay, Peters, Dawn M., Kievit, Paul, Alkayed, Nabil J., Kaul, Sanjiv, Grove, Kevin L., Lindner, Jonathan R.

Journal:

Year:

2016

Language:

english

File:

PDF, 915 KB

english, 2016

50

Uncovering infant group B streptococcal (GBS) disease clusters in the UK and Ireland through genomic analysis: a population-based epidemiological study

Collin, Simon M, Groves, Natalie, OâSullivan, Catherine, Jauneikaite, Elita, Patel, Darshana, Cunney, Robert, Meehan, Mary, Reynolds, Arlene, Smith, Andrew, Lindsay, Diane, Doherty, Lorraine, Davies

Journal:

Clinical Infectious Diseases

Year:

2020

File:

PDF, 1023 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски